Adrian Marino

Claudio Collado

Inicialización

Fijamos la semilla para poder reproducir los experimentos. También se fija el numero de CPU’s a utilizar.

set.seed(42)
options(mc.cores = 24)

Librerias

Se importan las librerías a utilizar a lo largo de la notebook:

# install.packages(pacman)
# install.packages("https://cran.r-project.org/src/contrib/rstan_2.21.2.tar.gz",repos = NULL,type="source")
# sudo apt-get install libglpk-dev
library(pacman)
p_load(tidyverse, tidymodels, rsample, rstan, shinystan, rstanarm, devtools)

source('../src/dataset.R')
source('../src/plot.R')
source('../src/model.R')

Dataset y Analisis Exploratorio

Palmer Penguins

Palmer Penguins

1. Lectura del dataset

dataset <- load_dataset() %>% mutate_if(is.character, as.factor)
Rows: 344 Columns: 8
── Column specification ───────────────────────────────────────────────────────────────────────────────────
Delimiter: ","
chr (3): species, island, sex
dbl (5): bill_length_mm, bill_depth_mm, flipper_length_mm, body_mass_g, year

ℹ Use `spec()` to retrieve the full column specification for this data.
ℹ Specify the column types or set `show_col_types = FALSE` to quiet this message.
dataset %>% glimpse()
Rows: 344
Columns: 8
$ species           <fct> Adelie, Adelie, Adelie, Adelie, Adelie, Adelie, Adelie, Adelie, Adelie, Adelie,…
$ island            <fct> Torgersen, Torgersen, Torgersen, Torgersen, Torgersen, Torgersen, Torgersen, To…
$ bill_length_mm    <dbl> 39.1, 39.5, 40.3, NA, 36.7, 39.3, 38.9, 39.2, 34.1, 42.0, 37.8, 37.8, 41.1, 38.…
$ bill_depth_mm     <dbl> 18.7, 17.4, 18.0, NA, 19.3, 20.6, 17.8, 19.6, 18.1, 20.2, 17.1, 17.3, 17.6, 21.…
$ flipper_length_mm <dbl> 181, 186, 195, NA, 193, 190, 181, 195, 193, 190, 186, 180, 182, 191, 198, 185, …
$ body_mass_g       <dbl> 3750, 3800, 3250, NA, 3450, 3650, 3625, 4675, 3475, 4250, 3300, 3700, 3200, 380…
$ sex               <fct> male, female, female, NA, female, male, female, male, NA, NA, NA, NA, female, m…
$ year              <dbl> 2007, 2007, 2007, 2007, 2007, 2007, 2007, 2007, 2007, 2007, 2007, 2007, 2007, 2…

2. Variables

Se enumeran y describen breve-mente cada variable que forma parte del dataset:

Variables Numéricas:

  • bill_length_mm: Longitud del pico del individuo medida en milímetros (también conocida como longitud del culmen).
  • bill_depth_mm: Profundidad del pico del individuo medida en milímetros (también conocida como profundidad del culmen).
  • flipper_length_mm: Longitud de la aleta del individuo medida en milímetros.
  • body_mass_g: Masa corporal del individuo medida en gramos.
  • year: Año en el que se registra el individuo.

Variables Categóricas:

  • species: Especie del individuo (Adelie, Gentoo ;) o Chinstrap).
  • sex: Sexo del individuo.
  • island: Isla donde se encontré el individuo (Biscoe, Dream o Torgersen).

A continuación veamos los posibles valores de las variables categóricas:

show_values(dataset %>% select_if(negate(is.numeric)))
_____________ 
species     n 
============= 
Adelie    152 
Chinstrap  68 
Gentoo    124 
¯¯¯¯¯¯¯¯¯¯¯¯¯ 
_____________ 
island      n 
============= 
Biscoe    168 
Dream     124 
Torgersen  52 
¯¯¯¯¯¯¯¯¯¯¯¯¯ 
__________ 
sex      n 
========== 
female 165 
male   168 
NA      11 
¯¯¯¯¯¯¯¯¯¯ 

3. Resumen de faltantes

missings_summary(dataset)

4. Varibles numericas

hist_plots(dataset)

Observaciones

  • Se aprecia que cada año se registro prácticamente el mismo numero de individuos.
  • La distribución de la masa corporal de los individuos tiene una asimétrica positiva. Tenemos muchos individuos con valores bajos de masa corporal, con una media de 192 gramos. Luego tenemos menos individuos con valores mas alto.
  • La longitud de la aleta parece ser una distribución bi-modal. Tenemos dos modas una 192 mm y otra en 215 mm.
  • La longitud del pico también parece tener una ligera simetría positiva. Es decir que lo individuos con menor peso tiene pico mas pequeños.
  • Por otro lado la profundidad de pico parece tener una ligera simetría positiva.
box_plots(dataset)

Observaciones

  • COMPLETAR

Outliers

No se registran valores mas extremos que el mínimo y máximo valor en cada variables. Es decir que no encontramos outliers.

outliers(dataset, column='bill_length_mm')
$inf
[1] 32.1

$sup
[1] 59.6

outliers(dataset, column='bill_length_mm')
$inf
[1] 32.1

$sup
[1] 59.6

outliers(dataset, column='bill_depth_mm')
$inf
[1] 13.1

$sup
[1] 21.5

outliers(dataset, column='flipper_length_mm')
$inf
[1] 172

$sup
[1] 231

outliers(dataset, column='body_mass_g')
$inf
[1] 2700

$sup
[1] 6300

outliers(dataset, column='year')
$inf
[1] 2007

$sup
[1] 2009

bar_plots(dataset)

Observaciones

  • La variable sexo se encuentra balanceada. Por otro lado, contiene algunos valores faltantes.
  • La variable island esta completamente desbalanceada. Esto seguramente se debe a una diferencia en numero en las poblaciones en cada isla o a un sesgo al momento de registrar los individuos. Es decir que registramos con individuos en una isla que en otra.
  • Lo mismo sucede con las especies de individuos. Vemos un gran desbalance entre la especie Chinstrap vs. otra especies. Por otro aldo Adelie y Gentoo tiene un conteo mas cercano

5. Excluir observaciones con missings

dataset <- dataset %>% drop_na()
missings_summary(dataset)
Warning: attributes are not identical across measure variables;
they will be dropped

6. Correlaciones

corr_plot(dataset %>% dplyr::select(-year))

segmented_pairs_plot(dataset, segment_column='species')
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.
`stat_bin()` using `bins = 30`. Pick better value with `binwidth`.

Experimentos

Experimento 1

  • Solo variables numéricas.
  • Regresión múltiple frecuentista.
  • Regresión múltiple bayesiana con priors normales y exponencial.

1. Split train vs. test

train_test <- train_test_split(dataset, train_size = 0.7, shuffle = TRUE)
[1] "Train set size: 233"
[1] "Test set size: 100"
train_set <- train_test[[1]]
test_set  <- train_test[[2]]

2. Modelo lineal

lineal_model_1 <- lm(
  body_mass_g ~ bill_length_mm + bill_depth_mm + flipper_length_mm,
  data = train_set
)

3. Modelo bayesiano

bayesion_model_1 <- stan(
  model_code =  "
    data {
      int<lower=1>               obs_count;
      vector<lower=1>[obs_count] x1;
      vector<lower=1>[obs_count] x2;
      vector<lower=1>[obs_count] x3;
      vector[obs_count]          y;
    }
    parameters {
      real          beta0;
      real          beta1;
      real          beta2;
      real          beta3;
      real<lower=0> sigma;
    }
    model {
      // Distribuciones a priori 
      beta0 ~ normal(0, 8000  /* Fijado por el investigador */ ); // Intercept
      beta1 ~ normal(0, 100   /* Fijado por el investigador */);
      beta2 ~ normal(0, 100   /* Fijado por el investigador */);
      beta3 ~ normal(0, 100   /* Fijado por el investigador */);
      sigma ~ exponential(0.1 /* Fijado por el investigador */);

      // Likelihood    
      y ~ normal(beta0 + beta1 * x1 + beta2 * x2 + beta3 * x3, sigma);
    }
  ",
  data = list(
      obs_count = nrow(train_set),
      y  = colvalues(train_set, 'body_mass_g'),
      x1 = colvalues(train_set, 'bill_length_mm'),
      x2 = colvalues(train_set, 'bill_depth_mm'),
      x3 = colvalues(train_set, 'flipper_length_mm')
  ),
  chains = 3,
  iter   = 300,
  warmup = 180,
  thin   = 1
)
starting worker pid=2744 on localhost:11086 at 19:38:44.884
starting worker pid=2781 on localhost:11086 at 19:38:44.993
starting worker pid=2818 on localhost:11086 at 19:38:45.103

SAMPLING FOR MODEL 'ff7fc5db0fd7100c79e067b72d83d19f' NOW (CHAIN 1).
Chain 1: 
Chain 1: Gradient evaluation took 3.7e-05 seconds
Chain 1: 1000 transitions using 10 leapfrog steps per transition would take 0.37 seconds.
Chain 1: Adjust your expectations accordingly!
Chain 1: 
Chain 1: 
Chain 1: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 1: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 1: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 1: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 1: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 1: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 1: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 1: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 1: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 1: Iteration: 240 / 300 [ 80%]  (Sampling)

SAMPLING FOR MODEL 'ff7fc5db0fd7100c79e067b72d83d19f' NOW (CHAIN 2).
Chain 2: 
Chain 2: Gradient evaluation took 4.7e-05 seconds
Chain 2: 1000 transitions using 10 leapfrog steps per transition would take 0.47 seconds.
Chain 2: Adjust your expectations accordingly!
Chain 2: 
Chain 2: 
Chain 2: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 2: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 1: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 1: Iteration: 300 / 300 [100%]  (Sampling)
Chain 2: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 1: 
Chain 1:  Elapsed Time: 0.84136 seconds (Warm-up)
Chain 1:                0.717478 seconds (Sampling)
Chain 1:                1.55884 seconds (Total)
Chain 1: 

SAMPLING FOR MODEL 'ff7fc5db0fd7100c79e067b72d83d19f' NOW (CHAIN 3).
Chain 3: 
Chain 3: Gradient evaluation took 4.4e-05 seconds
Chain 3: 1000 transitions using 10 leapfrog steps per transition would take 0.44 seconds.
Chain 3: Adjust your expectations accordingly!
Chain 3: 
Chain 3: 
Chain 3: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 3: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 3: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 2: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 3: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 2: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 3: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 2: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 3: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 2: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 2: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 3: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 3: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 2: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 3: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 2: Iteration: 240 / 300 [ 80%]  (Sampling)
Chain 3: Iteration: 240 / 300 [ 80%]  (Sampling)
Chain 2: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 3: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 2: Iteration: 300 / 300 [100%]  (Sampling)
Chain 2: 
Chain 2:  Elapsed Time: 1.16549 seconds (Warm-up)
Chain 2:                0.466704 seconds (Sampling)
Chain 2:                1.63219 seconds (Total)
Chain 2: 
Chain 3: Iteration: 300 / 300 [100%]  (Sampling)
Chain 3: 
Chain 3:  Elapsed Time: 0.802516 seconds (Warm-up)
Chain 3:                0.388908 seconds (Sampling)
Chain 3:                1.19142 seconds (Total)
Chain 3: 
params_1 <- c('beta0', 'beta1', 'beta2', 'beta3', 'sigma')
traceplot(bayesion_model_1, pars = params_1, inc_warmup = TRUE)

4. Coeficientes

lm_vs_br_coeficients(lineal_model_1, bayesion_model_1, params_1)

4. Validación

vars_1 <- c('bill_length_mm', 'bill_depth_mm', 'flipper_length_mm') 

lm_vs_br_models_validation(lineal_model_1, bayesion_model_1, params_1, vars_1, test_set)
bayesion_predictor_1 <- BayesianRegressionPredictor.from(bayesion_model_1, params_1, vars_1)

plot_compare_fit(
  lineal_model_1, 
  bayesion_predictor_1, 
  train_set,
  label_1='Regresion Lineal', 
  label_2='Regresion Bayesiana'
)

Experimento 2

  • Idem a experimento 1, incorporando una variable categórica.
  • Regresión múltiple frecuentista.
  • Regresión bayesiana con priors normales y exponencial.

1. Modelo lineal

lineal_model_2 <- lm(
    body_mass_g 
      ~ bill_length_mm
      + bill_depth_mm
      + flipper_length_mm
      + sex,

  data = train_set
)

2. Modelo bayesiano

Antes que nada transformamos la columna categórica a one-hot encoding:

cat_cols <- c('sex')

train_set_cat <- train_set %>% dummify(cat_cols)
test_set_cat  <- test_set  %>% dummify(cat_cols)

train_set_cat

Construimos una matriz con todas las variables(X) mas el intercept:

to_model_input <- function(df) {
  model.matrix(
    body_mass_g 
      ~ bill_length_mm
      + bill_depth_mm
      + flipper_length_mm
      + sex_female
      + sex_male,

    data = df
  )
}

train_X <- train_set_cat %>% to_model_input()
test_X  <- test_set_cat %>% to_model_input()

Definimos y corremos el modelo bayesiano:

bayesion_model_2 <- stan(
  model_code = "
    data {
      int<lower=1>                 obs_count;
      int<lower=1>                 coef_count;
      matrix[obs_count,coef_count] X;
      vector[obs_count]            y;
    }
    parameters {
      vector[coef_count]  beta;
      real<lower=0>       sigma;
    }
    model {
      // Distribuciones a priori
      beta[1] ~ normal(0, 2000); // Intecept
  
      // Variables numericas
      beta[2] ~ normal(0, 30);
      beta[3] ~ normal(0, 100);
      beta[4] ~ normal(0, 100);
  
      // Sexo
      beta[5] ~ normal(0, 100);
      beta[6] ~ normal(0, 100);
  
      sigma ~ exponential(0.1);
  
      // Likelihood
      y ~ normal(X * beta, sigma);
    }
  ",
  data = list(
      obs_count  = dim(train_X)[1],
      coef_count = dim(train_X)[2],
      y          = colvalues(train_set_cat, 'body_mass_g'),
      X          = train_X
  ),
  chains = 3,
  iter   = 300,
  warmup = 180,
  thin   = 1
)
starting worker pid=3020 on localhost:11086 at 19:39:17.344
starting worker pid=3057 on localhost:11086 at 19:39:17.454
starting worker pid=3094 on localhost:11086 at 19:39:17.563

SAMPLING FOR MODEL '9afeac097877f56e1844b004ab8095d1' NOW (CHAIN 1).
Chain 1: 
Chain 1: Gradient evaluation took 2e-05 seconds
Chain 1: 1000 transitions using 10 leapfrog steps per transition would take 0.2 seconds.
Chain 1: Adjust your expectations accordingly!
Chain 1: 
Chain 1: 
Chain 1: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 1: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 1: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 1: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 1: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 1: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 1: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 1: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 1: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 1: Iteration: 240 / 300 [ 80%]  (Sampling)
Chain 1: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 1: Iteration: 300 / 300 [100%]  (Sampling)
Chain 1: 
Chain 1:  Elapsed Time: 0.422889 seconds (Warm-up)
Chain 1:                0.113815 seconds (Sampling)
Chain 1:                0.536704 seconds (Total)
Chain 1: 

SAMPLING FOR MODEL '9afeac097877f56e1844b004ab8095d1' NOW (CHAIN 2).
Chain 2: 
Chain 2: Gradient evaluation took 2e-05 seconds
Chain 2: 1000 transitions using 10 leapfrog steps per transition would take 0.2 seconds.
Chain 2: Adjust your expectations accordingly!
Chain 2: 
Chain 2: 
Chain 2: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 2: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 2: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 2: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 2: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 2: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 2: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 2: Iteration: 181 / 300 [ 60%]  (Sampling)

SAMPLING FOR MODEL '9afeac097877f56e1844b004ab8095d1' NOW (CHAIN 3).
Chain 3: 
Chain 3: Gradient evaluation took 1.5e-05 seconds
Chain 3: 1000 transitions using 10 leapfrog steps per transition would take 0.15 seconds.
Chain 3: Adjust your expectations accordingly!
Chain 3: 
Chain 3: 
Chain 3: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 3: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 2: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 2: Iteration: 240 / 300 [ 80%]  (Sampling)
Chain 2: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 2: Iteration: 300 / 300 [100%]  (Sampling)
Chain 2: 
Chain 2:  Elapsed Time: 0.499519 seconds (Warm-up)
Chain 2:                0.129509 seconds (Sampling)
Chain 2:                0.629028 seconds (Total)
Chain 2: 
Chain 3: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 3: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 3: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 3: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 3: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 3: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 3: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 3: Iteration: 240 / 300 [ 80%]  (Sampling)
Chain 3: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 3: Iteration: 300 / 300 [100%]  (Sampling)
Chain 3: 
Chain 3:  Elapsed Time: 0.498432 seconds (Warm-up)
Chain 3:                0.1909 seconds (Sampling)
Chain 3:                0.689332 seconds (Total)
Chain 3: 
params_2 <- c('beta[1]', 'beta[2]', 'beta[3]', 'beta[4]', 'beta[5]', 'beta[6]', 'sigma')
traceplot(bayesion_model_2, inc_warmup = TRUE, pars = params_2)

3. Coeficientes

lineal_model_2$coefficients
      (Intercept)    bill_length_mm     bill_depth_mm flipper_length_mm           sexmale 
     -2399.959627         -1.251644        -81.390712         38.730138        509.703109 
br_coeficients(bayesion_model_2, params_2)

4. Validación

vars_2 <- c('bill_length_mm', 'bill_depth_mm', 'flipper_length_mm', 'sex_female','sex_male')

lm_vs_br_models_validation(
  lineal_model_2, 
  bayesion_model_2, 
  params_2,
  vars_2,
  test_set, 
  test_set_cat
)
bayesion_predictor_2 <- BayesianRegressionPredictor.from(bayesion_model_2, params_2, vars_2)

plot_compare_fit(
  lineal_model_2, 
  bayesion_predictor_2, 
  test_set, 
  test_set_cat,
  label_1='Regresion Lineal', 
  label_2='Regresion Bayesiana'
)

Experimento 3

  • Idem a experimento 1 incorporando outliers en alguna variable numérica.
  • Regresión múltiple frecuentista.
  • Regresión bayesiana con priors normales y exponencial.

1. Outliers

A continuación vamos a agregar outliers a la variable flipper_length_mm, la cual define la longitud de la aleta del individuo medida en milímetros.

Para visualizar los nuevos outliers a continuación graficamos flipper_length_mm vs. body_mass_g antes y después de agregar outliers:

plot_data(train_set)

train_set_with_outliers <- train_set %>%
  mutate(flipper_length_mm = ifelse(
    body_mass_g > 4900 & body_mass_g < 5000, 
    flipper_length_mm + (flipper_length_mm * runif(1, 0.1, 0.2)), 
    flipper_length_mm
  ))

plot_data(train_set_with_outliers)

2. Modelo lineal

lineal_model_3 <- lm(
  body_mass_g ~ bill_length_mm + bill_depth_mm + flipper_length_mm,
  data = train_set_with_outliers
)

Comparemos el ajuste del modelo lineal ajustando en un dataset de train con y sin outliers:

plot_compare_fit(
  lineal_model_1, 
  lineal_model_3, 
  train_set_with_outliers,
  label_1='Regresión Lineal SIN outliers', 
  label_2='Regresión Lineal CON outliters'
)

Se aprecia que el modelo entrenado en el train set outliers esta apalancado por las observaciones atipicas.

2. Modelo lineal Robusto

Entrenamos una regresión lineal múltiple robusta para intentar de disminuir el efecto de los nuevos outliers.

p_load(MASS)
robust_lineal_model_3 <- rlm(
  body_mass_g ~ bill_length_mm + bill_depth_mm + flipper_length_mm,
  data = train_set_with_outliers
)
plot_compare_fit(
  lineal_model_1, 
  robust_lineal_model_3, 
  train_set_with_outliers,
  label_1='Regresión Lineal SIN outliers', 
  label_2='Regresión Lineal Robusta CON outliters'
)

Gráficamente no se llega a distinguir pero el modelo robusto termina ajustando mejor que el modelo lineal clásico. Esto se puede observar cuando comparamos el RMSE/MAE sobre train.

lm_vs_lm_models_validation(lineal_model_3, robust_lineal_model_3, train_set_with_outliers)
Warning in actual - predicted :
  longer object length is not a multiple of shorter object length
Warning in actual - predicted :
  longer object length is not a multiple of shorter object length
Warning in actual - predicted :
  longer object length is not a multiple of shorter object length
Warning in actual - predicted :
  longer object length is not a multiple of shorter object length

Mas alla de esto el modelo clasico sigue dando mejores resultado en test:

lm_vs_lm_models_validation(lineal_model_3, robust_lineal_model_3, test_set)

3. Modelo bayesiano con Likelihood normal

bayesion_model_3 <- stan(
  model_code =  "
    data {
      int<lower=1>               obs_count;
      vector<lower=1>[obs_count] x1;
      vector<lower=1>[obs_count] x2;
      vector<lower=1>[obs_count] x3;
      vector[obs_count]          y;
    }
    parameters {
      real          beta0;
      real          beta1;
      real          beta2;
      real          beta3;
      real<lower=0> sigma;
    }
    model {
      // Distribuciones a priori
      beta0 ~ normal(0, 8000); // Intecept
      beta1 ~ normal(0, 100);
      beta2 ~ normal(0, 100);
      beta3 ~ normal(0, 100);
      sigma ~ exponential(0.1);
    
      // Likelihood    
      y ~ normal(beta0 + beta1 * x1 + beta2 * x2 + beta3 * x3, sigma);
    }
  ",
  data = list(
      obs_count = nrow(train_set_with_outliers),
      y  = colvalues(train_set_with_outliers, 'body_mass_g'),
      x1 = colvalues(train_set_with_outliers, 'bill_length_mm'),
      x2 = colvalues(train_set_with_outliers, 'bill_depth_mm'),
      x3 = colvalues(train_set_with_outliers, 'flipper_length_mm')
  ),
  chains = 3,
  iter   = 300,
  warmup = 180,
  thin   = 1
)
starting worker pid=3296 on localhost:11086 at 19:39:48.793
starting worker pid=3333 on localhost:11086 at 19:39:48.903
starting worker pid=3370 on localhost:11086 at 19:39:49.012

SAMPLING FOR MODEL 'c0c5a3ba8590ba28e2cb449cd35b7ade' NOW (CHAIN 1).
Chain 1: 
Chain 1: Gradient evaluation took 3.3e-05 seconds
Chain 1: 1000 transitions using 10 leapfrog steps per transition would take 0.33 seconds.
Chain 1: Adjust your expectations accordingly!
Chain 1: 
Chain 1: 
Chain 1: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 1: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 1: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 1: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 1: Iteration: 120 / 300 [ 40%]  (Warmup)

SAMPLING FOR MODEL 'c0c5a3ba8590ba28e2cb449cd35b7ade' NOW (CHAIN 2).
Chain 2: 
Chain 2: Gradient evaluation took 4.7e-05 seconds
Chain 2: 1000 transitions using 10 leapfrog steps per transition would take 0.47 seconds.
Chain 2: Adjust your expectations accordingly!
Chain 2: 
Chain 2: 
Chain 2: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 2: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 1: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 1: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 1: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 2: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 1: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 1: Iteration: 240 / 300 [ 80%]  (Sampling)

SAMPLING FOR MODEL 'c0c5a3ba8590ba28e2cb449cd35b7ade' NOW (CHAIN 3).
Chain 3: 
Chain 3: Gradient evaluation took 4.3e-05 seconds
Chain 3: 1000 transitions using 10 leapfrog steps per transition would take 0.43 seconds.
Chain 3: Adjust your expectations accordingly!
Chain 3: 
Chain 3: 
Chain 3: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 3: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 1: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 1: Iteration: 300 / 300 [100%]  (Sampling)
Chain 1: 
Chain 1:  Elapsed Time: 1.31268 seconds (Warm-up)
Chain 1:                0.434985 seconds (Sampling)
Chain 1:                1.74766 seconds (Total)
Chain 1: 
Chain 2: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 3: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 2: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 2: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 2: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 2: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 3: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 2: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 2: Iteration: 240 / 300 [ 80%]  (Sampling)
Chain 3: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 2: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 3: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 2: Iteration: 300 / 300 [100%]  (Sampling)
Chain 2: 
Chain 2:  Elapsed Time: 1.1051 seconds (Warm-up)
Chain 2:                0.495396 seconds (Sampling)
Chain 2:                1.6005 seconds (Total)
Chain 2: 
Chain 3: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 3: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 3: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 3: Iteration: 240 / 300 [ 80%]  (Sampling)
Chain 3: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 3: Iteration: 300 / 300 [100%]  (Sampling)
Chain 3: 
Chain 3:  Elapsed Time: 1.25576 seconds (Warm-up)
Chain 3:                0.638169 seconds (Sampling)
Chain 3:                1.89393 seconds (Total)
Chain 3: 
params_3 <- c('beta0', 'beta1', 'beta2', 'beta3', 'sigma')
traceplot(bayesion_model_3, pars = params_3, inc_warmup = TRUE)

4. Coeficientes

lm_vs_br_coeficients(robust_lineal_model_3, bayesion_model_3, params_3)

5. Validación

vars_3 <- c('bill_length_mm', 'bill_depth_mm', 'flipper_length_mm') 

lm_vs_br_models_validation(robust_lineal_model_3, bayesion_model_3, params_3, vars_3, test_set)
bayesion_predictor_3 <- BayesianRegressionPredictor.from(bayesion_model_3, params_3, vars_3)

plot_compare_fit(
  robust_lineal_model_3, 
  bayesion_predictor_3, 
  train_set,
  label_1='Regresion Lineal Robusta CON outliers', 
  label_2='Regresion Bayesiana CON outliers'
)

6. Modelo bayesiano con Likelihood t-student

COMPLETAR

Experimento 4

  • Idem experimento 1 pero reduciendo la cantidad de observaciones a pocos valores (ej:30).
  • Regresion multiple frecuentista.
  • Regresion bayesiana con priors normales y exponencial.

1. Split train - test

En este aso entrenamos solo con el 10% de lo datos.

train_test <- train_test_split(dataset, train_size = 0.05, shuffle = TRUE)
[1] "Train set size: 16"
[1] "Test set size: 317"
train_set_4 <- train_test[[1]]
test_set_4  <- train_test[[2]]
plot_data(train_set_4)

2. Modelo lineal

lineal_model_4 <- lm(
  body_mass_g ~ bill_length_mm + bill_depth_mm + flipper_length_mm,
  data = train_set_4
)

3. Modelo bayesiano

bayesion_model_4 <- stan(
  model_code =  "
    data {
      int<lower=1>               obs_count;
      vector<lower=1>[obs_count] x1;
      vector<lower=1>[obs_count] x2;
      vector<lower=1>[obs_count] x3;
      vector[obs_count]          y;
    }
    parameters {
      real          beta0;
      real          beta1;
      real          beta2;
      real          beta3;
      real<lower=0> sigma;
    }
    model {
      // Distribuciones a priori
      beta0 ~ normal(0, 8000); // Intercept
      beta1 ~ normal(0, 100);
      beta2 ~ normal(0, 100);
      beta3 ~ normal(0, 100);
      sigma ~ exponential(0.1);
    
      // Likelihood
      y ~ normal(beta0 + beta1 * x1 + beta2 * x2 + beta3 * x3, sigma);
    }
  ",
  data = list(
      obs_count = nrow(train_set_4),
      y  = colvalues(train_set_4, 'body_mass_g'),
      x1 = colvalues(train_set_4, 'bill_length_mm'),
      x2 = colvalues(train_set_4, 'bill_depth_mm'),
      x3 = colvalues(train_set_4, 'flipper_length_mm')
  ),
  chains = 3,
  iter   = 300,
  warmup = 180,
  thin   = 1
)
starting worker pid=3572 on localhost:11086 at 19:40:19.482
starting worker pid=3609 on localhost:11086 at 19:40:19.591
starting worker pid=3646 on localhost:11086 at 19:40:19.700

SAMPLING FOR MODEL 'a680c5a9703a67be8bd5c21746d8ddcd' NOW (CHAIN 1).
Chain 1: 
Chain 1: Gradient evaluation took 1.5e-05 seconds
Chain 1: 1000 transitions using 10 leapfrog steps per transition would take 0.15 seconds.
Chain 1: Adjust your expectations accordingly!
Chain 1: 
Chain 1: 
Chain 1: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 1: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 1: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 1: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 1: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 1: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 1: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 1: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 1: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 1: Iteration: 240 / 300 [ 80%]  (Sampling)
Chain 1: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 1: Iteration: 300 / 300 [100%]  (Sampling)
Chain 1: 
Chain 1:  Elapsed Time: 0.154591 seconds (Warm-up)
Chain 1:                0.046818 seconds (Sampling)
Chain 1:                0.201409 seconds (Total)
Chain 1: 

SAMPLING FOR MODEL 'a680c5a9703a67be8bd5c21746d8ddcd' NOW (CHAIN 2).
Chain 2: 
Chain 2: Gradient evaluation took 1.2e-05 seconds
Chain 2: 1000 transitions using 10 leapfrog steps per transition would take 0.12 seconds.
Chain 2: Adjust your expectations accordingly!
Chain 2: 
Chain 2: 
Chain 2: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 2: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 2: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 2: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 2: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 2: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 2: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 2: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 2: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 2: Iteration: 240 / 300 [ 80%]  (Sampling)
Chain 2: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 2: Iteration: 300 / 300 [100%]  (Sampling)
Chain 2: 
Chain 2:  Elapsed Time: 0.113693 seconds (Warm-up)
Chain 2:                0.063825 seconds (Sampling)
Chain 2:                0.177518 seconds (Total)
Chain 2: 

SAMPLING FOR MODEL 'a680c5a9703a67be8bd5c21746d8ddcd' NOW (CHAIN 3).
Chain 3: 
Chain 3: Gradient evaluation took 1.1e-05 seconds
Chain 3: 1000 transitions using 10 leapfrog steps per transition would take 0.11 seconds.
Chain 3: Adjust your expectations accordingly!
Chain 3: 
Chain 3: 
Chain 3: Iteration:   1 / 300 [  0%]  (Warmup)
Chain 3: Iteration:  30 / 300 [ 10%]  (Warmup)
Chain 3: Iteration:  60 / 300 [ 20%]  (Warmup)
Chain 3: Iteration:  90 / 300 [ 30%]  (Warmup)
Chain 3: Iteration: 120 / 300 [ 40%]  (Warmup)
Chain 3: Iteration: 150 / 300 [ 50%]  (Warmup)
Chain 3: Iteration: 180 / 300 [ 60%]  (Warmup)
Chain 3: Iteration: 181 / 300 [ 60%]  (Sampling)
Chain 3: Iteration: 210 / 300 [ 70%]  (Sampling)
Chain 3: Iteration: 240 / 300 [ 80%]  (Sampling)
Chain 3: Iteration: 270 / 300 [ 90%]  (Sampling)
Chain 3: Iteration: 300 / 300 [100%]  (Sampling)
Chain 3: 
Chain 3:  Elapsed Time: 0.126041 seconds (Warm-up)
Chain 3:                0.024386 seconds (Sampling)
Chain 3:                0.150427 seconds (Total)
Chain 3: 
params_4 <- c('beta0', 'beta1', 'beta2', 'beta3', 'sigma')
traceplot(bayesion_model_4, pars = params_4, inc_warmup = TRUE)

4. Coeficientes

Coeficientes de la regresión múltiple:

lineal_model_4$coefficients
      (Intercept)    bill_length_mm     bill_depth_mm flipper_length_mm 
      -8874.92522          24.46866          76.75274          53.51397 

Coeficientes descubiertos por la regresión múltiple bayesiana:

for(param in params_4) print(get_posterior_mean(bayesion_model_4, par=param)[4])
[1] -8223.236
[1] 23.60412
[1] 61.40233
[1] 51.73701
[1] 241.8201

5. Validación

vars_4 <- c('bill_length_mm', 'bill_depth_mm', 'flipper_length_mm') 

lm_vs_br_models_validation(lineal_model_4, bayesion_model_4, params_4, vars_4, test_set)
bayesion_predictor_4 <- BayesianRegressionPredictor.from(bayesion_model_4, params_4, vars_4)

plot_compare_fit(
  lineal_model_4,
  bayesion_predictor_4, 
  train_set,
  label_1='Regresion Lineal', 
  label_2='Regresion Bayesiana'
)

Experimento 5

  • Igual al experimento 1 pero proponiendo dos nuevas regresiones bayesianas con priors para los parámetros que sean:
    • Una poca informativa (uniforme).
    • Una muy informativa (sesgada o con muy poca varianza).
  • Comparar con resultados de la bayesiana del experimento A

1. Modelo bayesiano con parametro con distribucion poco informativa

1. Modelo

Definimos una distribución uniforme para el beta asociado a la variable flipper_length_mm.

starting worker pid=3848 on localhost:11086 at 19:40:49.175
starting worker pid=3885 on localhost:11086 at 19:40:49.287
starting worker pid=3922 on localhost:11086 at 19:40:49.396

SAMPLING FOR MODEL 'ec5409959af1c66bd72a3906ea8aa743' NOW (CHAIN 1).
Chain 1: 
Chain 1: Gradient evaluation took 3.6e-05 seconds
Chain 1: 1000 transitions using 10 leapfrog steps per transition would take 0.36 seconds.
Chain 1: Adjust your expectations accordingly!
Chain 1: 
Chain 1: 
Chain 1: Iteration:   1 / 1000 [  0%]  (Warmup)
Chain 1: Iteration: 100 / 1000 [ 10%]  (Warmup)
Chain 1: Iteration: 181 / 1000 [ 18%]  (Sampling)

SAMPLING FOR MODEL 'ec5409959af1c66bd72a3906ea8aa743' NOW (CHAIN 2).
Chain 2: 
Chain 2: Gradient evaluation took 4.4e-05 seconds
Chain 2: 1000 transitions using 10 leapfrog steps per transition would take 0.44 seconds.
Chain 2: Adjust your expectations accordingly!
Chain 2: 
Chain 2: 
Chain 2: Iteration:   1 / 1000 [  0%]  (Warmup)
Chain 1: Iteration: 280 / 1000 [ 28%]  (Sampling)
Chain 2: Iteration: 100 / 1000 [ 10%]  (Warmup)

SAMPLING FOR MODEL 'ec5409959af1c66bd72a3906ea8aa743' NOW (CHAIN 3).
Chain 3: Rejecting initial value:
Chain 3:   Error evaluating the log probability at the initial value.
Chain 3: Exception: exponential_lpdf: Random variable is -0.274745, but must be >= 0!  (in 'model19f65fff8b1_ec5409959af1c66bd72a3906ea8aa743' at line 21)

Chain 3: 
Chain 3: Gradient evaluation took 4e-05 seconds
Chain 3: 1000 transitions using 10 leapfrog steps per transition would take 0.4 seconds.
Chain 3: Adjust your expectations accordingly!
Chain 3: 
Chain 3: 
Chain 3: Iteration:   1 / 1000 [  0%]  (Warmup)
Chain 1: Iteration: 380 / 1000 [ 38%]  (Sampling)
Chain 2: Iteration: 181 / 1000 [ 18%]  (Sampling)
Chain 2: Iteration: 280 / 1000 [ 28%]  (Sampling)
Chain 1: Iteration: 480 / 1000 [ 48%]  (Sampling)
Chain 2: Iteration: 380 / 1000 [ 38%]  (Sampling)
Chain 3: Iteration: 100 / 1000 [ 10%]  (Warmup)
Chain 2: Iteration: 480 / 1000 [ 48%]  (Sampling)
Chain 1: Iteration: 580 / 1000 [ 58%]  (Sampling)
Chain 3: Iteration: 181 / 1000 [ 18%]  (Sampling)
Chain 2: Iteration: 580 / 1000 [ 58%]  (Sampling)
Chain 2: Iteration: 680 / 1000 [ 68%]  (Sampling)
Chain 1: Iteration: 680 / 1000 [ 68%]  (Sampling)
Chain 3: Iteration: 280 / 1000 [ 28%]  (Sampling)
Chain 2: Iteration: 780 / 1000 [ 78%]  (Sampling)
Chain 2: Iteration: 880 / 1000 [ 88%]  (Sampling)
Chain 1: Iteration: 780 / 1000 [ 78%]  (Sampling)
Chain 3: Iteration: 380 / 1000 [ 38%]  (Sampling)
Chain 2: Iteration: 980 / 1000 [ 98%]  (Sampling)
Chain 2: Iteration: 1000 / 1000 [100%]  (Sampling)
Chain 2: 
Chain 2:  Elapsed Time: 1.01022 seconds (Warm-up)
Chain 2:                2.02517 seconds (Sampling)
Chain 2:                3.0354 seconds (Total)
Chain 2: 
Chain 1: Iteration: 880 / 1000 [ 88%]  (Sampling)
Chain 3: Iteration: 480 / 1000 [ 48%]  (Sampling)
Chain 1: Iteration: 980 / 1000 [ 98%]  (Sampling)
Chain 3: Iteration: 580 / 1000 [ 58%]  (Sampling)
Chain 1: Iteration: 1000 / 1000 [100%]  (Sampling)
Chain 1: 
Chain 1:  Elapsed Time: 1.10362 seconds (Warm-up)
Chain 1:                3.90271 seconds (Sampling)
Chain 1:                5.00633 seconds (Total)
Chain 1: 
Chain 3: Iteration: 680 / 1000 [ 68%]  (Sampling)
Chain 3: Iteration: 780 / 1000 [ 78%]  (Sampling)
Chain 3: Iteration: 880 / 1000 [ 88%]  (Sampling)
Chain 3: Iteration: 980 / 1000 [ 98%]  (Sampling)
Chain 3: Iteration: 1000 / 1000 [100%]  (Sampling)
Chain 3: 
Chain 3:  Elapsed Time: 1.14468 seconds (Warm-up)
Chain 3:                3.67208 seconds (Sampling)
Chain 3:                4.81675 seconds (Total)
Chain 3: 

2. Coeficientes

br_vs_br_coeficients(bayesion_model_1, bayesion_model_5, params_5)

3. Validación

lm_vs_br_models_validation(lineal_model_1, bayesion_model_1, params_1, vars_1, test_set)

4. Validacion

vars_5 <- c('bill_length_mm', 'bill_depth_mm', 'flipper_length_mm') 

lm_vs_br_models_validation(lineal_model_1, bayesion_model_5, params_5, vars_5, test_set)
bayesion_predictor_5 <- BayesianRegressionPredictor.from(bayesion_model_5, params_5, vars_5)

plot_compare_fit(
  bayesion_predictor_1,
  bayesion_predictor_5,
  train_set,
  label_1='Regresion Bayesiana con dist informativa', 
  label_2='Regresion Bayesiana con dist menos informativa'
)

2. Modelo bayesiano con parametro con distribucion muy informativa sesgada o con poca varianza

COMPLETAR

LS0tCnRpdGxlOiAiRW5mb3F1ZSBFc3RhZGlzdGljbyBkZWwgQXByZW5kaXphamUgLSBUcmFiYWpvIEZpbmFsIC0gUmVncmVzaW9uIEJheWVzaWFuYSIKZmlnX3dpZHRoOiAzIApmaWdfaGVpZ2h0OiAzIApvdXRwdXQ6CiAgaHRtbF9kb2N1bWVudDoKICAgIGhpZ2hsaWdodDogcHlnbWVudHMKICAgIHRoZW1lOiBzYW5kc3RvbmUKICAgIHRvYzogeWVzCiAgICBkZl9wcmludDogcGFnZWQKICAgIGluY2x1ZGVzOgogICAgICBiZWZvcmVfYm9keTogLi9oZWFkZXIuaHRtbAogIGh0bWxfbm90ZWJvb2s6IAogICAgdG9jOiB5ZXMKICAgIHRvY19mbG9hdDogeWVzCiAgICBkZl9wcmludDogcGFnZWQKLS0tCgojIyMgQWRyaWFuIE1hcmlubwoKIyMjIENsYXVkaW8gQ29sbGFkbwoKCiMgSW5pY2lhbGl6YWNpw7NuCgpGaWphbW9zIGxhIHNlbWlsbGEgcGFyYSBwb2RlciByZXByb2R1Y2lyIGxvcyBleHBlcmltZW50b3MuIFRhbWJpw6luIHNlIGZpamEgZWwgbnVtZXJvIGRlIENQVSdzIGEgdXRpbGl6YXIuCgpgYGB7cn0Kc2V0LnNlZWQoNDIpCm9wdGlvbnMobWMuY29yZXMgPSAyNCkKYGBgCgoKIyBMaWJyZXJpYXMKClNlIGltcG9ydGFuIGxhcyBsaWJyZXLDrWFzIGEgdXRpbGl6YXIgYSBsbyBsYXJnbyBkZSBsYSBub3RlYm9vazoKCmBgYHtyIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0V9CiMgaW5zdGFsbC5wYWNrYWdlcyhwYWNtYW4pCiMgaW5zdGFsbC5wYWNrYWdlcygiaHR0cHM6Ly9jcmFuLnItcHJvamVjdC5vcmcvc3JjL2NvbnRyaWIvcnN0YW5fMi4yMS4yLnRhci5neiIscmVwb3MgPSBOVUxMLHR5cGU9InNvdXJjZSIpCiMgc3VkbyBhcHQtZ2V0IGluc3RhbGwgbGliZ2xway1kZXYKYGBgCgpgYGB7ciBtZXNzYWdlPUZBTFNFLCB3YXJuaW5nPUZBTFNFfQpsaWJyYXJ5KHBhY21hbikKcF9sb2FkKHRpZHl2ZXJzZSwgdGlkeW1vZGVscywgcnNhbXBsZSwgcnN0YW4sIHNoaW55c3RhbiwgcnN0YW5hcm0sIGRldnRvb2xzKQoKc291cmNlKCcuLi9zcmMvZGF0YXNldC5SJykKc291cmNlKCcuLi9zcmMvcGxvdC5SJykKc291cmNlKCcuLi9zcmMvbW9kZWwuUicpCmBgYAoKIyBEYXRhc2V0IHkgQW5hbGlzaXMgRXhwbG9yYXRvcmlvCgohW1BhbG1lciBQZW5ndWluc10oaHR0cHM6Ly9yYXcuZ2l0aHVidXNlcmNvbnRlbnQuY29tL2FsbGlzb25ob3JzdC9wYWxtZXJwZW5ndWlucy9tYXN0ZXIvbWFuL2ZpZ3VyZXMvbHRlcl9wZW5ndWlucy5wbmcpCgpbUGFsbWVyIFBlbmd1aW5zXShodHRwczovL2dpdGh1Yi5jb20vcmZvcmRhdGFzY2llbmNlL3RpZHl0dWVzZGF5L2Jsb2IvbWFzdGVyL2RhdGEvMjAyMC8yMDIwLTA3LTI4L3JlYWRtZS5tZCkKCgojIyAxLiBMZWN0dXJhIGRlbCBkYXRhc2V0CgoKYGBge3IgbWVzc2FnZT1GQUxTRSwgd2FybmluZz1GQUxTRX0KZGF0YXNldCA8LSBsb2FkX2RhdGFzZXQoKSAlPiUgbXV0YXRlX2lmKGlzLmNoYXJhY3RlciwgYXMuZmFjdG9yKQoKZGF0YXNldCAlPiUgZ2xpbXBzZSgpCmBgYAoKCiMjIDIuIFZhcmlhYmxlcwoKU2UgZW51bWVyYW4geSBkZXNjcmliZW4gYnJldmUtbWVudGUgY2FkYSB2YXJpYWJsZSBxdWUgZm9ybWEgcGFydGUgZGVsIGRhdGFzZXQ6CgpWYXJpYWJsZXMgTnVtw6lyaWNhczoKCiogKipiaWxsX2xlbmd0aF9tbSoqOiBMb25naXR1ZCBkZWwgcGljbyBkZWwgaW5kaXZpZHVvIG1lZGlkYSBlbiBtaWzDrW1ldHJvcyAodGFtYmnDqW4gY29ub2NpZGEgY29tbyBsb25naXR1ZCBkZWwgY3VsbWVuKS4KKiAqKmJpbGxfZGVwdGhfbW0qKjogUHJvZnVuZGlkYWQgZGVsIHBpY28gZGVsIGluZGl2aWR1byBtZWRpZGEgZW4gbWlsw61tZXRyb3MgKHRhbWJpw6luIGNvbm9jaWRhIGNvbW8gcHJvZnVuZGlkYWQgZGVsIGN1bG1lbikuCiogKipmbGlwcGVyX2xlbmd0aF9tbSoqOiBMb25naXR1ZCBkZSBsYSBhbGV0YSBkZWwgaW5kaXZpZHVvIG1lZGlkYSBlbiBtaWzDrW1ldHJvcy4KKiAqKmJvZHlfbWFzc19nKio6IE1hc2EgY29ycG9yYWwgZGVsIGluZGl2aWR1byBtZWRpZGEgZW4gZ3JhbW9zLgoqICoqeWVhcioqOiBBw7FvIGVuIGVsIHF1ZSBzZSByZWdpc3RyYSBlbCBpbmRpdmlkdW8uCgpWYXJpYWJsZXMgQ2F0ZWfDs3JpY2FzOgoKKiAqKnNwZWNpZXMqKjogRXNwZWNpZSBkZWwgaW5kaXZpZHVvIChBZGVsaWUsIEdlbnRvbyA7KSBvIENoaW5zdHJhcCkuCiogKipzZXgqKjogU2V4byBkZWwgaW5kaXZpZHVvLgoqICoqaXNsYW5kKio6IElzbGEgZG9uZGUgc2UgZW5jb250csOpIGVsIGluZGl2aWR1byAoQmlzY29lLCBEcmVhbSBvIFRvcmdlcnNlbikuCgpBIGNvbnRpbnVhY2nDs24gdmVhbW9zIGxvcyBwb3NpYmxlcyB2YWxvcmVzIGRlIGxhcyB2YXJpYWJsZXMgY2F0ZWfDs3JpY2FzOgoKYGBge3J9CnNob3dfdmFsdWVzKGRhdGFzZXQgJT4lIHNlbGVjdF9pZihuZWdhdGUoaXMubnVtZXJpYykpKQpgYGAKCiMjIDMuIFJlc3VtZW4gZGUgZmFsdGFudGVzCgpgYGB7ciBtZXNzYWdlPUZBTFNFLHdhcm5pbmc9RkFMU0V9Cm1pc3NpbmdzX3N1bW1hcnkoZGF0YXNldCkKYGBgCgojIyA0LiBWYXJpYmxlcyBudW1lcmljYXMKCmBgYHtyIGZpZy5oZWlnaHQ9MiwgZmlnLndpZHRoPTMsIG1lc3NhZ2U9VFJVRSwgd2FybmluZz1GQUxTRX0KaGlzdF9wbG90cyhkYXRhc2V0KQpgYGAKCgoqKk9ic2VydmFjaW9uZXMqKgoKKiBTZSBhcHJlY2lhIHF1ZSBjYWRhIGHDsW8gc2UgcmVnaXN0cm8gcHLDoWN0aWNhbWVudGUgZWwgbWlzbW8gbnVtZXJvIGRlIGluZGl2aWR1b3MuCiogTGEgZGlzdHJpYnVjacOzbiBkZSBsYSBtYXNhIGNvcnBvcmFsIGRlIGxvcyBpbmRpdmlkdW9zIHRpZW5lIHVuYSBhc2ltw6l0cmljYSBwb3NpdGl2YS4gVGVuZW1vcyBtdWNob3MgaW5kaXZpZHVvcyBjb24gdmFsb3JlcyBiYWpvcyBkZSBtYXNhIGNvcnBvcmFsLCBjb24gdW5hIG1lZGlhIGRlIDE5MiBncmFtb3MuIEx1ZWdvIHRlbmVtb3MgbWVub3MgaW5kaXZpZHVvcyBjb24gdmFsb3JlcyBtYXMgYWx0by4KKiBMYSBsb25naXR1ZCBkZSBsYSBhbGV0YSBwYXJlY2Ugc2VyIHVuYSBkaXN0cmlidWNpw7NuIGJpLW1vZGFsLiBUZW5lbW9zIGRvcyBtb2RhcyB1bmEgMTkyIG1tIHkgb3RyYSBlbiAyMTUgbW0uCiogTGEgbG9uZ2l0dWQgZGVsIHBpY28gdGFtYmnDqW4gcGFyZWNlIHRlbmVyIHVuYSBsaWdlcmEgc2ltZXRyw61hIHBvc2l0aXZhLiBFcyBkZWNpciBxdWUgbG8gaW5kaXZpZHVvcyBjb24gbWVub3IgcGVzbyB0aWVuZSBwaWNvIG1hcyBwZXF1ZcOxb3MuCiogUG9yIG90cm8gbGFkbyBsYSBwcm9mdW5kaWRhZCBkZSBwaWNvIHBhcmVjZSB0ZW5lciB1bmEgbGlnZXJhIHNpbWV0csOtYSBwb3NpdGl2YS4KCgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5oZWlnaHQ9NSwgZmlnLndpZHRoPTgsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30KYm94X3Bsb3RzKGRhdGFzZXQpCmBgYAoKCioqT2JzZXJ2YWNpb25lcyoqCgoqIENPTVBMRVRBUgoKCiMjIyBPdXRsaWVycwoKTm8gc2UgcmVnaXN0cmFuIHZhbG9yZXMgbWFzIGV4dHJlbW9zIHF1ZSBlbCBtw61uaW1vIHkgbcOheGltbyB2YWxvciBlbiBjYWRhIHZhcmlhYmxlcy4gRXMgZGVjaXIgcXVlIG5vIGVuY29udHJhbW9zIG91dGxpZXJzLgoKYGBge3IsIGZpZy5zaG93PSdoaWRlJ30Kb3V0bGllcnMoZGF0YXNldCwgY29sdW1uPSdiaWxsX2xlbmd0aF9tbScpCmBgYAoKCmBgYHtyLCBmaWcuc2hvdz0naGlkZSd9Cm91dGxpZXJzKGRhdGFzZXQsIGNvbHVtbj0nYmlsbF9sZW5ndGhfbW0nKQpgYGAKCgpgYGB7ciwgZmlnLnNob3c9J2hpZGUnfQpvdXRsaWVycyhkYXRhc2V0LCBjb2x1bW49J2JpbGxfZGVwdGhfbW0nKQpgYGAKCmBgYHtyLCBmaWcuc2hvdz0naGlkZSd9Cm91dGxpZXJzKGRhdGFzZXQsIGNvbHVtbj0nZmxpcHBlcl9sZW5ndGhfbW0nKQpgYGAKCmBgYHtyLCBmaWcuc2hvdz0naGlkZSd9Cm91dGxpZXJzKGRhdGFzZXQsIGNvbHVtbj0nYm9keV9tYXNzX2cnKQpgYGAKCgpgYGB7ciwgZmlnLnNob3c9J2hpZGUnfQpvdXRsaWVycyhkYXRhc2V0LCBjb2x1bW49J3llYXInKQpgYGAKCgpgYGB7ciBmaWcuaGVpZ2h0PTMsIGZpZy53aWR0aD0zLCB3YXJuaW5nPUZBTFNFfQpiYXJfcGxvdHMoZGF0YXNldCkKYGBgCgoqKk9ic2VydmFjaW9uZXMqKgoKKiBMYSB2YXJpYWJsZSBzZXhvIHNlIGVuY3VlbnRyYSBiYWxhbmNlYWRhLiBQb3Igb3RybyBsYWRvLCBjb250aWVuZSBhbGd1bm9zIHZhbG9yZXMgZmFsdGFudGVzLgoqIExhIHZhcmlhYmxlIGlzbGFuZCBlc3RhIGNvbXBsZXRhbWVudGUgZGVzYmFsYW5jZWFkYS4gRXN0byBzZWd1cmFtZW50ZSBzZSBkZWJlIGEgdW5hIGRpZmVyZW5jaWEgZW4gbnVtZXJvCmVuIGxhcyBwb2JsYWNpb25lcyBlbiBjYWRhIGlzbGEgbyBhIHVuIHNlc2dvIGFsIG1vbWVudG8gZGUgcmVnaXN0cmFyIGxvcyBpbmRpdmlkdW9zLiBFcyBkZWNpciBxdWUgcmVnaXN0cmFtb3MgY29uIGluZGl2aWR1b3MgZW4gdW5hIGlzbGEgcXVlIGVuIG90cmEuCiogTG8gbWlzbW8gc3VjZWRlIGNvbiBsYXMgZXNwZWNpZXMgZGUgaW5kaXZpZHVvcy4gVmVtb3MgdW4gZ3JhbiBkZXNiYWxhbmNlIGVudHJlIGxhIGVzcGVjaWUgQ2hpbnN0cmFwIHZzLiBvdHJhIGVzcGVjaWVzLiBQb3Igb3RybyBhbGRvIEFkZWxpZSB5IEdlbnRvbyB0aWVuZSB1biBjb250ZW8gbWFzIGNlcmNhbm8KCgojIyA1LiBFeGNsdWlyIG9ic2VydmFjaW9uZXMgY29uIG1pc3NpbmdzCgpgYGB7cn0KZGF0YXNldCA8LSBkYXRhc2V0ICU+JSBkcm9wX25hKCkKbWlzc2luZ3Nfc3VtbWFyeShkYXRhc2V0KQpgYGAKCiMjIDYuIENvcnJlbGFjaW9uZXMKCmBgYHtyIGZpZy5hbGlnbj0nY2VudGVyJywgZmlnLmhlaWdodD01LCBmaWcud2lkdGg9NSwgbWVzc2FnZT1GQUxTRSwgd2FybmluZz1GQUxTRSwgZmlnLmFsaWduPSdjZW50ZXInfQpjb3JyX3Bsb3QoZGF0YXNldCAlPiUgZHBseXI6OnNlbGVjdCgteWVhcikpCmBgYAoKYGBge3IgZmlnLmFsaWduPSdjZW50ZXInLCBmaWcuaGVpZ2h0PTEyLCBmaWcud2lkdGg9MTIsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30Kc2VnbWVudGVkX3BhaXJzX3Bsb3QoZGF0YXNldCwgc2VnbWVudF9jb2x1bW49J3NwZWNpZXMnKQpgYGAKCiMgRXhwZXJpbWVudG9zCgojIyBFeHBlcmltZW50byAxCgoqIFNvbG8gdmFyaWFibGVzIG51bcOpcmljYXMuCiogUmVncmVzacOzbiBtw7psdGlwbGUgZnJlY3VlbnRpc3RhLgoqIFJlZ3Jlc2nDs24gbcO6bHRpcGxlIGJheWVzaWFuYSBjb24gcHJpb3JzIG5vcm1hbGVzIHkgZXhwb25lbmNpYWwuCgoKIyMjIDEuIFNwbGl0IHRyYWluIHZzLiB0ZXN0CgoKYGBge3IgbWVzc2FnZT1GQUxTRSwgd2FybmluZz1GQUxTRX0KdHJhaW5fdGVzdCA8LSB0cmFpbl90ZXN0X3NwbGl0KGRhdGFzZXQsIHRyYWluX3NpemUgPSAwLjcsIHNodWZmbGUgPSBUUlVFKQp0cmFpbl9zZXQgPC0gdHJhaW5fdGVzdFtbMV1dCnRlc3Rfc2V0ICA8LSB0cmFpbl90ZXN0W1syXV0KYGBgCgoKIyMjIDIuIE1vZGVsbyBsaW5lYWwKCmBgYHtyfQpsaW5lYWxfbW9kZWxfMSA8LSBsbSgKICBib2R5X21hc3NfZyB+IGJpbGxfbGVuZ3RoX21tICsgYmlsbF9kZXB0aF9tbSArIGZsaXBwZXJfbGVuZ3RoX21tLAogIGRhdGEgPSB0cmFpbl9zZXQKKQpgYGAKCiMjIyAzLiBNb2RlbG8gYmF5ZXNpYW5vCgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5oZWlnaHQ9NCwgZmlnLndpZHRoPTgsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30KYmF5ZXNpb25fbW9kZWxfMSA8LSBzdGFuKAogIG1vZGVsX2NvZGUgPSAgIgogICAgZGF0YSB7CiAgICAgIGludDxsb3dlcj0xPiAgICAgICAgICAgICAgIG9ic19jb3VudDsKICAgICAgdmVjdG9yPGxvd2VyPTE+W29ic19jb3VudF0geDE7CiAgICAgIHZlY3Rvcjxsb3dlcj0xPltvYnNfY291bnRdIHgyOwogICAgICB2ZWN0b3I8bG93ZXI9MT5bb2JzX2NvdW50XSB4MzsKICAgICAgdmVjdG9yW29ic19jb3VudF0gICAgICAgICAgeTsKICAgIH0KICAgIHBhcmFtZXRlcnMgewogICAgICByZWFsICAgICAgICAgIGJldGEwOwogICAgICByZWFsICAgICAgICAgIGJldGExOwogICAgICByZWFsICAgICAgICAgIGJldGEyOwogICAgICByZWFsICAgICAgICAgIGJldGEzOwogICAgICByZWFsPGxvd2VyPTA+IHNpZ21hOwogICAgfQogICAgbW9kZWwgewogICAgICAvLyBEaXN0cmlidWNpb25lcyBhIHByaW9yaSAKICAgICAgYmV0YTAgfiBub3JtYWwoMCwgODAwMCAgLyogRmlqYWRvIHBvciBlbCBpbnZlc3RpZ2Fkb3IgKi8gKTsgLy8gSW50ZXJjZXB0CiAgICAgIGJldGExIH4gbm9ybWFsKDAsIDEwMCAgIC8qIEZpamFkbyBwb3IgZWwgaW52ZXN0aWdhZG9yICovKTsKICAgICAgYmV0YTIgfiBub3JtYWwoMCwgMTAwICAgLyogRmlqYWRvIHBvciBlbCBpbnZlc3RpZ2Fkb3IgKi8pOwogICAgICBiZXRhMyB+IG5vcm1hbCgwLCAxMDAgICAvKiBGaWphZG8gcG9yIGVsIGludmVzdGlnYWRvciAqLyk7CiAgICAgIHNpZ21hIH4gZXhwb25lbnRpYWwoMC4xIC8qIEZpamFkbyBwb3IgZWwgaW52ZXN0aWdhZG9yICovKTsKCiAgICAgIC8vIExpa2VsaWhvb2QgICAgCiAgICAgIHkgfiBub3JtYWwoYmV0YTAgKyBiZXRhMSAqIHgxICsgYmV0YTIgKiB4MiArIGJldGEzICogeDMsIHNpZ21hKTsKICAgIH0KICAiLAogIGRhdGEgPSBsaXN0KAogICAgICBvYnNfY291bnQgPSBucm93KHRyYWluX3NldCksCiAgICAgIHkgID0gY29sdmFsdWVzKHRyYWluX3NldCwgJ2JvZHlfbWFzc19nJyksCiAgICAgIHgxID0gY29sdmFsdWVzKHRyYWluX3NldCwgJ2JpbGxfbGVuZ3RoX21tJyksCiAgICAgIHgyID0gY29sdmFsdWVzKHRyYWluX3NldCwgJ2JpbGxfZGVwdGhfbW0nKSwKICAgICAgeDMgPSBjb2x2YWx1ZXModHJhaW5fc2V0LCAnZmxpcHBlcl9sZW5ndGhfbW0nKQogICksCiAgY2hhaW5zID0gMywKICBpdGVyICAgPSAzMDAsCiAgd2FybXVwID0gMTgwLAogIHRoaW4gICA9IDEKKQoKcGFyYW1zXzEgPC0gYygnYmV0YTAnLCAnYmV0YTEnLCAnYmV0YTInLCAnYmV0YTMnLCAnc2lnbWEnKQp0cmFjZXBsb3QoYmF5ZXNpb25fbW9kZWxfMSwgcGFycyA9IHBhcmFtc18xLCBpbmNfd2FybXVwID0gVFJVRSkKYGBgCgoKIyMjIDQuIENvZWZpY2llbnRlcwoKYGBge3J9CmxtX3ZzX2JyX2NvZWZpY2llbnRzKGxpbmVhbF9tb2RlbF8xLCBiYXllc2lvbl9tb2RlbF8xLCBwYXJhbXNfMSkKYGBgCgojIyMgNC4gVmFsaWRhY2nDs24KCgpgYGB7cn0KdmFyc18xIDwtIGMoJ2JpbGxfbGVuZ3RoX21tJywgJ2JpbGxfZGVwdGhfbW0nLCAnZmxpcHBlcl9sZW5ndGhfbW0nKSAKCmxtX3ZzX2JyX21vZGVsc192YWxpZGF0aW9uKGxpbmVhbF9tb2RlbF8xLCBiYXllc2lvbl9tb2RlbF8xLCBwYXJhbXNfMSwgdmFyc18xLCB0ZXN0X3NldCkKYGBgCgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5oZWlnaHQ9MywgZmlnLndpZHRoPTgsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30KYmF5ZXNpb25fcHJlZGljdG9yXzEgPC0gQmF5ZXNpYW5SZWdyZXNzaW9uUHJlZGljdG9yLmZyb20oYmF5ZXNpb25fbW9kZWxfMSwgcGFyYW1zXzEsIHZhcnNfMSkKCnBsb3RfY29tcGFyZV9maXQoCiAgbGluZWFsX21vZGVsXzEsIAogIGJheWVzaW9uX3ByZWRpY3Rvcl8xLCAKICB0cmFpbl9zZXQsCiAgbGFiZWxfMT0nUmVncmVzaW9uIExpbmVhbCcsIAogIGxhYmVsXzI9J1JlZ3Jlc2lvbiBCYXllc2lhbmEnCikKYGBgCgoKIyMgRXhwZXJpbWVudG8gMgoKKiBJZGVtIGEgZXhwZXJpbWVudG8gMSwgaW5jb3Jwb3JhbmRvIHVuYSB2YXJpYWJsZSBjYXRlZ8OzcmljYS4KKiBSZWdyZXNpw7NuIG3Dumx0aXBsZSBmcmVjdWVudGlzdGEuCiogUmVncmVzacOzbiBiYXllc2lhbmEgY29uIHByaW9ycyBub3JtYWxlcyB5IGV4cG9uZW5jaWFsLgoKCiMjIyAxLiBNb2RlbG8gbGluZWFsCgoKYGBge3J9CmxpbmVhbF9tb2RlbF8yIDwtIGxtKAogICAgYm9keV9tYXNzX2cgCiAgICAgIH4gYmlsbF9sZW5ndGhfbW0KICAgICAgKyBiaWxsX2RlcHRoX21tCiAgICAgICsgZmxpcHBlcl9sZW5ndGhfbW0KICAgICAgKyBzZXgsCgogIGRhdGEgPSB0cmFpbl9zZXQKKQpgYGAKCiMjIyAyLiAgTW9kZWxvIGJheWVzaWFubwoKQW50ZXMgcXVlIG5hZGEgdHJhbnNmb3JtYW1vcyBsYSBjb2x1bW5hIGNhdGVnw7NyaWNhIGEgb25lLWhvdCBlbmNvZGluZzoKCmBgYHtyfQpjYXRfY29scyA8LSBjKCdzZXgnKQoKdHJhaW5fc2V0X2NhdCA8LSB0cmFpbl9zZXQgJT4lIGR1bW1pZnkoY2F0X2NvbHMpCnRlc3Rfc2V0X2NhdCAgPC0gdGVzdF9zZXQgICU+JSBkdW1taWZ5KGNhdF9jb2xzKQoKdHJhaW5fc2V0X2NhdApgYGAKCgpDb25zdHJ1aW1vcyB1bmEgbWF0cml6IGNvbiB0b2RhcyBsYXMgdmFyaWFibGVzKFgpIG1hcyBlbCBpbnRlcmNlcHQ6CgpgYGB7cn0KdG9fbW9kZWxfaW5wdXQgPC0gZnVuY3Rpb24oZGYpIHsKICBtb2RlbC5tYXRyaXgoCiAgICBib2R5X21hc3NfZyAKICAgICAgfiBiaWxsX2xlbmd0aF9tbQogICAgICArIGJpbGxfZGVwdGhfbW0KICAgICAgKyBmbGlwcGVyX2xlbmd0aF9tbQogICAgICArIHNleF9mZW1hbGUKICAgICAgKyBzZXhfbWFsZSwKCiAgICBkYXRhID0gZGYKICApCn0KCnRyYWluX1ggPC0gdHJhaW5fc2V0X2NhdCAlPiUgdG9fbW9kZWxfaW5wdXQoKQp0ZXN0X1ggIDwtIHRlc3Rfc2V0X2NhdCAlPiUgdG9fbW9kZWxfaW5wdXQoKQpgYGAKCgpEZWZpbmltb3MgeSBjb3JyZW1vcyBlbCBtb2RlbG8gYmF5ZXNpYW5vOgoKYGBge3IgZmlnLmFsaWduPSdjZW50ZXInLCBmaWcuaGVpZ2h0PTQsIGZpZy53aWR0aD04LCBtZXNzYWdlPUZBTFNFLCB3YXJuaW5nPUZBTFNFLCBmaWcuYWxpZ249J2NlbnRlcid9CmJheWVzaW9uX21vZGVsXzIgPC0gc3RhbigKICBtb2RlbF9jb2RlID0gIgogICAgZGF0YSB7CiAgICAgIGludDxsb3dlcj0xPiAgICAgICAgICAgICAgICAgb2JzX2NvdW50OwogICAgICBpbnQ8bG93ZXI9MT4gICAgICAgICAgICAgICAgIGNvZWZfY291bnQ7CiAgICAgIG1hdHJpeFtvYnNfY291bnQsY29lZl9jb3VudF0gWDsKICAgICAgdmVjdG9yW29ic19jb3VudF0gICAgICAgICAgICB5OwogICAgfQogICAgcGFyYW1ldGVycyB7CiAgICAgIHZlY3Rvcltjb2VmX2NvdW50XSAgYmV0YTsKICAgICAgcmVhbDxsb3dlcj0wPiAgICAgICBzaWdtYTsKICAgIH0KICAgIG1vZGVsIHsKICAgICAgLy8gRGlzdHJpYnVjaW9uZXMgYSBwcmlvcmkKICAgICAgYmV0YVsxXSB+IG5vcm1hbCgwLCAyMDAwKTsgLy8gSW50ZWNlcHQKICAKICAgICAgLy8gVmFyaWFibGVzIG51bWVyaWNhcwogICAgICBiZXRhWzJdIH4gbm9ybWFsKDAsIDMwKTsKICAgICAgYmV0YVszXSB+IG5vcm1hbCgwLCAxMDApOwogICAgICBiZXRhWzRdIH4gbm9ybWFsKDAsIDEwMCk7CiAgCiAgICAgIC8vIFNleG8KICAgICAgYmV0YVs1XSB+IG5vcm1hbCgwLCAxMDApOwogICAgICBiZXRhWzZdIH4gbm9ybWFsKDAsIDEwMCk7CiAgCiAgICAgIHNpZ21hIH4gZXhwb25lbnRpYWwoMC4xKTsKICAKICAgICAgLy8gTGlrZWxpaG9vZAogICAgICB5IH4gbm9ybWFsKFggKiBiZXRhLCBzaWdtYSk7CiAgICB9CiAgIiwKICBkYXRhID0gbGlzdCgKICAgICAgb2JzX2NvdW50ICA9IGRpbSh0cmFpbl9YKVsxXSwKICAgICAgY29lZl9jb3VudCA9IGRpbSh0cmFpbl9YKVsyXSwKICAgICAgeSAgICAgICAgICA9IGNvbHZhbHVlcyh0cmFpbl9zZXRfY2F0LCAnYm9keV9tYXNzX2cnKSwKICAgICAgWCAgICAgICAgICA9IHRyYWluX1gKICApLAogIGNoYWlucyA9IDMsCiAgaXRlciAgID0gMzAwLAogIHdhcm11cCA9IDE4MCwKICB0aGluICAgPSAxCikKCnBhcmFtc18yIDwtIGMoJ2JldGFbMV0nLCAnYmV0YVsyXScsICdiZXRhWzNdJywgJ2JldGFbNF0nLCAnYmV0YVs1XScsICdiZXRhWzZdJywgJ3NpZ21hJykKdHJhY2VwbG90KGJheWVzaW9uX21vZGVsXzIsIGluY193YXJtdXAgPSBUUlVFLCBwYXJzID0gcGFyYW1zXzIpCmBgYAoKCiMjIyAzLiBDb2VmaWNpZW50ZXMKCmBgYHtyfQpsaW5lYWxfbW9kZWxfMiRjb2VmZmljaWVudHMKYGBgCgpgYGB7cn0KYnJfY29lZmljaWVudHMoYmF5ZXNpb25fbW9kZWxfMiwgcGFyYW1zXzIpCmBgYAoKIyMjIDQuIFZhbGlkYWNpw7NuCgpgYGB7cn0KdmFyc18yIDwtIGMoJ2JpbGxfbGVuZ3RoX21tJywgJ2JpbGxfZGVwdGhfbW0nLCAnZmxpcHBlcl9sZW5ndGhfbW0nLCAnc2V4X2ZlbWFsZScsJ3NleF9tYWxlJykKCmxtX3ZzX2JyX21vZGVsc192YWxpZGF0aW9uKAogIGxpbmVhbF9tb2RlbF8yLCAKICBiYXllc2lvbl9tb2RlbF8yLCAKICBwYXJhbXNfMiwKICB2YXJzXzIsCiAgdGVzdF9zZXQsIAogIHRlc3Rfc2V0X2NhdAopCmBgYAoKYGBge3IgZmlnLmFsaWduPSdjZW50ZXInLCBmaWcuaGVpZ2h0PTMsIGZpZy53aWR0aD04LCBtZXNzYWdlPUZBTFNFLCB3YXJuaW5nPUZBTFNFLCBmaWcuYWxpZ249J2NlbnRlcid9CmJheWVzaW9uX3ByZWRpY3Rvcl8yIDwtIEJheWVzaWFuUmVncmVzc2lvblByZWRpY3Rvci5mcm9tKGJheWVzaW9uX21vZGVsXzIsIHBhcmFtc18yLCB2YXJzXzIpCgpwbG90X2NvbXBhcmVfZml0KAogIGxpbmVhbF9tb2RlbF8yLCAKICBiYXllc2lvbl9wcmVkaWN0b3JfMiwgCiAgdGVzdF9zZXQsIAogIHRlc3Rfc2V0X2NhdCwKICBsYWJlbF8xPSdSZWdyZXNpb24gTGluZWFsJywgCiAgbGFiZWxfMj0nUmVncmVzaW9uIEJheWVzaWFuYScKKQpgYGAKCiMjIEV4cGVyaW1lbnRvIDMKCiogSWRlbSBhIGV4cGVyaW1lbnRvIDEgaW5jb3Jwb3JhbmRvIG91dGxpZXJzIGVuIGFsZ3VuYSB2YXJpYWJsZSBudW3DqXJpY2EuCiogUmVncmVzacOzbiBtw7psdGlwbGUgZnJlY3VlbnRpc3RhLgoqIFJlZ3Jlc2nDs24gYmF5ZXNpYW5hIGNvbiBwcmlvcnMgbm9ybWFsZXMgeSBleHBvbmVuY2lhbC4KCgojIyMgMS4gT3V0bGllcnMKCkEgY29udGludWFjacOzbiB2YW1vcyBhIGFncmVnYXIgb3V0bGllcnMgYSBsYSB2YXJpYWJsZSAqKmZsaXBwZXJfbGVuZ3RoX21tKiosIGxhIGN1YWwgZGVmaW5lIGxhIGxvbmdpdHVkIGRlIGxhIGFsZXRhIGRlbCBpbmRpdmlkdW8gbWVkaWRhIGVuIG1pbMOtbWV0cm9zLiAKClBhcmEgdmlzdWFsaXphciBsb3MgbnVldm9zIG91dGxpZXJzIGEgY29udGludWFjacOzbiBncmFmaWNhbW9zICoqZmxpcHBlcl9sZW5ndGhfbW0qKiB2cy4gICoqYm9keV9tYXNzX2cqKiBhbnRlcyB5IGRlc3B1w6lzIGRlIGFncmVnYXIgb3V0bGllcnM6CgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5oZWlnaHQ9MywgZmlnLndpZHRoPTUsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30KcGxvdF9kYXRhKHRyYWluX3NldCkKYGBgCgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5oZWlnaHQ9MywgZmlnLndpZHRoPTUsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30KdHJhaW5fc2V0X3dpdGhfb3V0bGllcnMgPC0gdHJhaW5fc2V0ICU+JQogIG11dGF0ZShmbGlwcGVyX2xlbmd0aF9tbSA9IGlmZWxzZSgKICAgIGJvZHlfbWFzc19nID4gNDkwMCAmIGJvZHlfbWFzc19nIDwgNTAwMCwgCiAgICBmbGlwcGVyX2xlbmd0aF9tbSArIChmbGlwcGVyX2xlbmd0aF9tbSAqIHJ1bmlmKDEsIDAuMSwgMC4yKSksIAogICAgZmxpcHBlcl9sZW5ndGhfbW0KICApKQoKcGxvdF9kYXRhKHRyYWluX3NldF93aXRoX291dGxpZXJzKQpgYGAKCiMjIyAyLiBNb2RlbG8gbGluZWFsCgpgYGB7cn0KbGluZWFsX21vZGVsXzMgPC0gbG0oCiAgYm9keV9tYXNzX2cgfiBiaWxsX2xlbmd0aF9tbSArIGJpbGxfZGVwdGhfbW0gKyBmbGlwcGVyX2xlbmd0aF9tbSwKICBkYXRhID0gdHJhaW5fc2V0X3dpdGhfb3V0bGllcnMKKQpgYGAKCgpDb21wYXJlbW9zIGVsIGFqdXN0ZSBkZWwgbW9kZWxvIGxpbmVhbCBhanVzdGFuZG8gZW4gdW4gZGF0YXNldCBkZSB0cmFpbiBjb24geSBzaW4gb3V0bGllcnM6CgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5oZWlnaHQ9MywgZmlnLndpZHRoPTgsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30KcGxvdF9jb21wYXJlX2ZpdCgKICBsaW5lYWxfbW9kZWxfMSwgCiAgbGluZWFsX21vZGVsXzMsIAogIHRyYWluX3NldF93aXRoX291dGxpZXJzLAogIGxhYmVsXzE9J1JlZ3Jlc2nDs24gTGluZWFsIFNJTiBvdXRsaWVycycsIAogIGxhYmVsXzI9J1JlZ3Jlc2nDs24gTGluZWFsIENPTiBvdXRsaXRlcnMnCikKYGBgCiAKU2UgYXByZWNpYSBxdWUgZWwgbW9kZWxvIGVudHJlbmFkbyBlbiBlbCB0cmFpbiBzZXQgb3V0bGllcnMgZXN0YSBhcGFsYW5jYWRvIHBvciBsYXMgb2JzZXJ2YWNpb25lcyBhdGlwaWNhcy4KCgojIyMgMi4gTW9kZWxvIGxpbmVhbCBSb2J1c3RvCgpFbnRyZW5hbW9zIHVuYSByZWdyZXNpw7NuIGxpbmVhbCBtw7psdGlwbGUgcm9idXN0YSBwYXJhIGludGVudGFyIGRlIGRpc21pbnVpciBlbCBlZmVjdG8gZGUgbG9zIG51ZXZvcyBvdXRsaWVycy4KCmBgYHtyfQpyb2J1c3RfbGluZWFsX21vZGVsXzMgPC0gcmxtKAogIGJvZHlfbWFzc19nIH4gYmlsbF9sZW5ndGhfbW0gKyBiaWxsX2RlcHRoX21tICsgZmxpcHBlcl9sZW5ndGhfbW0sCiAgZGF0YSA9IHRyYWluX3NldF93aXRoX291dGxpZXJzCikKYGBgCgoKYGBge3IgZmlnLmFsaWduPSdjZW50ZXInLCBmaWcuaGVpZ2h0PTMsIGZpZy53aWR0aD04LCBtZXNzYWdlPUZBTFNFLCB3YXJuaW5nPUZBTFNFLCBmaWcuYWxpZ249J2NlbnRlcid9CnBsb3RfY29tcGFyZV9maXQoCiAgbGluZWFsX21vZGVsXzEsIAogIHJvYnVzdF9saW5lYWxfbW9kZWxfMywgCiAgdHJhaW5fc2V0X3dpdGhfb3V0bGllcnMsCiAgbGFiZWxfMT0nUmVncmVzacOzbiBMaW5lYWwgU0lOIG91dGxpZXJzJywgCiAgbGFiZWxfMj0nUmVncmVzacOzbiBMaW5lYWwgUm9idXN0YSBDT04gb3V0bGl0ZXJzJwopCmBgYAoKR3LDoWZpY2FtZW50ZSBubyBzZSBsbGVnYSBhIGRpc3Rpbmd1aXIgcGVybyBlbCBtb2RlbG8gcm9idXN0byB0ZXJtaW5hIGFqdXN0YW5kbyBtZWpvciBxdWUgZWwgbW9kZWxvIGxpbmVhbCBjbMOhc2ljby4gRXN0byBzZSBwdWVkZSBvYnNlcnZhciBjdWFuZG8gY29tcGFyYW1vcyBlbCBSTVNFL01BRSBzb2JyZSB0cmFpbi4KCgpgYGB7cn0KbG1fdnNfbG1fbW9kZWxzX3ZhbGlkYXRpb24obGluZWFsX21vZGVsXzMsIHJvYnVzdF9saW5lYWxfbW9kZWxfMywgdHJhaW5fc2V0X3dpdGhfb3V0bGllcnMpCmBgYAoKTWFzIGFsbGEgZGUgZXN0byBlbCBtb2RlbG8gY2xhc2ljbyBzaWd1ZSBkYW5kbyBtZWpvcmVzIHJlc3VsdGFkbyBlbiB0ZXN0OgoKYGBge3J9CmxtX3ZzX2xtX21vZGVsc192YWxpZGF0aW9uKGxpbmVhbF9tb2RlbF8zLCByb2J1c3RfbGluZWFsX21vZGVsXzMsIHRlc3Rfc2V0KQpgYGAKCgojIyMgMy4gTW9kZWxvIGJheWVzaWFubyBjb24gTGlrZWxpaG9vZCBub3JtYWwKCgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5oZWlnaHQ9NCwgZmlnLndpZHRoPTgsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30KYmF5ZXNpb25fbW9kZWxfMyA8LSBzdGFuKAogIG1vZGVsX2NvZGUgPSAgIgogICAgZGF0YSB7CiAgICAgIGludDxsb3dlcj0xPiAgICAgICAgICAgICAgIG9ic19jb3VudDsKICAgICAgdmVjdG9yPGxvd2VyPTE+W29ic19jb3VudF0geDE7CiAgICAgIHZlY3Rvcjxsb3dlcj0xPltvYnNfY291bnRdIHgyOwogICAgICB2ZWN0b3I8bG93ZXI9MT5bb2JzX2NvdW50XSB4MzsKICAgICAgdmVjdG9yW29ic19jb3VudF0gICAgICAgICAgeTsKICAgIH0KICAgIHBhcmFtZXRlcnMgewogICAgICByZWFsICAgICAgICAgIGJldGEwOwogICAgICByZWFsICAgICAgICAgIGJldGExOwogICAgICByZWFsICAgICAgICAgIGJldGEyOwogICAgICByZWFsICAgICAgICAgIGJldGEzOwogICAgICByZWFsPGxvd2VyPTA+IHNpZ21hOwogICAgfQogICAgbW9kZWwgewogICAgICAvLyBEaXN0cmlidWNpb25lcyBhIHByaW9yaQogICAgICBiZXRhMCB+IG5vcm1hbCgwLCA4MDAwKTsgLy8gSW50ZWNlcHQKICAgICAgYmV0YTEgfiBub3JtYWwoMCwgMTAwKTsKICAgICAgYmV0YTIgfiBub3JtYWwoMCwgMTAwKTsKICAgICAgYmV0YTMgfiBub3JtYWwoMCwgMTAwKTsKICAgICAgc2lnbWEgfiBleHBvbmVudGlhbCgwLjEpOwogICAgCiAgICAgIC8vIExpa2VsaWhvb2QgICAgCiAgICAgIHkgfiBub3JtYWwoYmV0YTAgKyBiZXRhMSAqIHgxICsgYmV0YTIgKiB4MiArIGJldGEzICogeDMsIHNpZ21hKTsKICAgIH0KICAiLAogIGRhdGEgPSBsaXN0KAogICAgICBvYnNfY291bnQgPSBucm93KHRyYWluX3NldF93aXRoX291dGxpZXJzKSwKICAgICAgeSAgPSBjb2x2YWx1ZXModHJhaW5fc2V0X3dpdGhfb3V0bGllcnMsICdib2R5X21hc3NfZycpLAogICAgICB4MSA9IGNvbHZhbHVlcyh0cmFpbl9zZXRfd2l0aF9vdXRsaWVycywgJ2JpbGxfbGVuZ3RoX21tJyksCiAgICAgIHgyID0gY29sdmFsdWVzKHRyYWluX3NldF93aXRoX291dGxpZXJzLCAnYmlsbF9kZXB0aF9tbScpLAogICAgICB4MyA9IGNvbHZhbHVlcyh0cmFpbl9zZXRfd2l0aF9vdXRsaWVycywgJ2ZsaXBwZXJfbGVuZ3RoX21tJykKICApLAogIGNoYWlucyA9IDMsCiAgaXRlciAgID0gMzAwLAogIHdhcm11cCA9IDE4MCwKICB0aGluICAgPSAxCikKCnBhcmFtc18zIDwtIGMoJ2JldGEwJywgJ2JldGExJywgJ2JldGEyJywgJ2JldGEzJywgJ3NpZ21hJykKdHJhY2VwbG90KGJheWVzaW9uX21vZGVsXzMsIHBhcnMgPSBwYXJhbXNfMywgaW5jX3dhcm11cCA9IFRSVUUpCmBgYAoKCiMjIyA0LiBDb2VmaWNpZW50ZXMKCmBgYHtyfQpsbV92c19icl9jb2VmaWNpZW50cyhyb2J1c3RfbGluZWFsX21vZGVsXzMsIGJheWVzaW9uX21vZGVsXzMsIHBhcmFtc18zKQpgYGAKCiMjIyA1LiBWYWxpZGFjacOzbgoKCmBgYHtyfQp2YXJzXzMgPC0gYygnYmlsbF9sZW5ndGhfbW0nLCAnYmlsbF9kZXB0aF9tbScsICdmbGlwcGVyX2xlbmd0aF9tbScpIAoKbG1fdnNfYnJfbW9kZWxzX3ZhbGlkYXRpb24ocm9idXN0X2xpbmVhbF9tb2RlbF8zLCBiYXllc2lvbl9tb2RlbF8zLCBwYXJhbXNfMywgdmFyc18zLCB0ZXN0X3NldCkKYGBgCgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5oZWlnaHQ9MywgZmlnLndpZHRoPTgsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30KYmF5ZXNpb25fcHJlZGljdG9yXzMgPC0gQmF5ZXNpYW5SZWdyZXNzaW9uUHJlZGljdG9yLmZyb20oYmF5ZXNpb25fbW9kZWxfMywgcGFyYW1zXzMsIHZhcnNfMykKCnBsb3RfY29tcGFyZV9maXQoCiAgcm9idXN0X2xpbmVhbF9tb2RlbF8zLCAKICBiYXllc2lvbl9wcmVkaWN0b3JfMywgCiAgdHJhaW5fc2V0LAogIGxhYmVsXzE9J1JlZ3Jlc2lvbiBMaW5lYWwgUm9idXN0YSBDT04gb3V0bGllcnMnLCAKICBsYWJlbF8yPSdSZWdyZXNpb24gQmF5ZXNpYW5hIENPTiBvdXRsaWVycycKKQpgYGAKCgojIyMgNi4gTW9kZWxvIGJheWVzaWFubyBjb24gTGlrZWxpaG9vZCB0LXN0dWRlbnQKCgpDT01QTEVUQVIKCgojIyBFeHBlcmltZW50byA0CgoKKiBJZGVtIGV4cGVyaW1lbnRvIDEgcGVybyByZWR1Y2llbmRvIGxhIGNhbnRpZGFkIGRlIG9ic2VydmFjaW9uZXMgYSBwb2NvcyB2YWxvcmVzIChlajozMCkuCiogUmVncmVzaW9uIG11bHRpcGxlIGZyZWN1ZW50aXN0YS4KKiBSZWdyZXNpb24gYmF5ZXNpYW5hIGNvbiBwcmlvcnMgbm9ybWFsZXMgeSBleHBvbmVuY2lhbC4KCgojIyMgMS4gU3BsaXQgdHJhaW4gLSB0ZXN0CgpFbiBlc3RlIGFzbyBlbnRyZW5hbW9zIHNvbG8gY29uIGVsIDEwJSBkZSBsbyBkYXRvcy4KCmBgYHtyIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0V9CnRyYWluX3Rlc3QgPC0gdHJhaW5fdGVzdF9zcGxpdChkYXRhc2V0LCB0cmFpbl9zaXplID0gMC4wNSwgc2h1ZmZsZSA9IFRSVUUpCnRyYWluX3NldF80IDwtIHRyYWluX3Rlc3RbWzFdXQp0ZXN0X3NldF80ICA8LSB0cmFpbl90ZXN0W1syXV0KYGBgCgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5oZWlnaHQ9MywgZmlnLndpZHRoPTUsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30KcGxvdF9kYXRhKHRyYWluX3NldF80KQpgYGAKCiMjIyAyLiBNb2RlbG8gbGluZWFsCgpgYGB7cn0KbGluZWFsX21vZGVsXzQgPC0gbG0oCiAgYm9keV9tYXNzX2cgfiBiaWxsX2xlbmd0aF9tbSArIGJpbGxfZGVwdGhfbW0gKyBmbGlwcGVyX2xlbmd0aF9tbSwKICBkYXRhID0gdHJhaW5fc2V0XzQKKQpgYGAKCiMjIyAzLiBNb2RlbG8gYmF5ZXNpYW5vCgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy5oZWlnaHQ9NCwgZmlnLndpZHRoPTgsIG1lc3NhZ2U9RkFMU0UsIHdhcm5pbmc9RkFMU0UsIGZpZy5hbGlnbj0nY2VudGVyJ30KYmF5ZXNpb25fbW9kZWxfNCA8LSBzdGFuKAogIG1vZGVsX2NvZGUgPSAgIgogICAgZGF0YSB7CiAgICAgIGludDxsb3dlcj0xPiAgICAgICAgICAgICAgIG9ic19jb3VudDsKICAgICAgdmVjdG9yPGxvd2VyPTE+W29ic19jb3VudF0geDE7CiAgICAgIHZlY3Rvcjxsb3dlcj0xPltvYnNfY291bnRdIHgyOwogICAgICB2ZWN0b3I8bG93ZXI9MT5bb2JzX2NvdW50XSB4MzsKICAgICAgdmVjdG9yW29ic19jb3VudF0gICAgICAgICAgeTsKICAgIH0KICAgIHBhcmFtZXRlcnMgewogICAgICByZWFsICAgICAgICAgIGJldGEwOwogICAgICByZWFsICAgICAgICAgIGJldGExOwogICAgICByZWFsICAgICAgICAgIGJldGEyOwogICAgICByZWFsICAgICAgICAgIGJldGEzOwogICAgICByZWFsPGxvd2VyPTA+IHNpZ21hOwogICAgfQogICAgbW9kZWwgewogICAgICAvLyBEaXN0cmlidWNpb25lcyBhIHByaW9yaQogICAgICBiZXRhMCB+IG5vcm1hbCgwLCA4MDAwKTsgLy8gSW50ZXJjZXB0CiAgICAgIGJldGExIH4gbm9ybWFsKDAsIDEwMCk7CiAgICAgIGJldGEyIH4gbm9ybWFsKDAsIDEwMCk7CiAgICAgIGJldGEzIH4gbm9ybWFsKDAsIDEwMCk7CiAgICAgIHNpZ21hIH4gZXhwb25lbnRpYWwoMC4xKTsKICAgIAogICAgICAvLyBMaWtlbGlob29kCiAgICAgIHkgfiBub3JtYWwoYmV0YTAgKyBiZXRhMSAqIHgxICsgYmV0YTIgKiB4MiArIGJldGEzICogeDMsIHNpZ21hKTsKICAgIH0KICAiLAogIGRhdGEgPSBsaXN0KAogICAgICBvYnNfY291bnQgPSBucm93KHRyYWluX3NldF80KSwKICAgICAgeSAgPSBjb2x2YWx1ZXModHJhaW5fc2V0XzQsICdib2R5X21hc3NfZycpLAogICAgICB4MSA9IGNvbHZhbHVlcyh0cmFpbl9zZXRfNCwgJ2JpbGxfbGVuZ3RoX21tJyksCiAgICAgIHgyID0gY29sdmFsdWVzKHRyYWluX3NldF80LCAnYmlsbF9kZXB0aF9tbScpLAogICAgICB4MyA9IGNvbHZhbHVlcyh0cmFpbl9zZXRfNCwgJ2ZsaXBwZXJfbGVuZ3RoX21tJykKICApLAogIGNoYWlucyA9IDMsCiAgaXRlciAgID0gMzAwLAogIHdhcm11cCA9IDE4MCwKICB0aGluICAgPSAxCikKCnBhcmFtc180IDwtIGMoJ2JldGEwJywgJ2JldGExJywgJ2JldGEyJywgJ2JldGEzJywgJ3NpZ21hJykKdHJhY2VwbG90KGJheWVzaW9uX21vZGVsXzQsIHBhcnMgPSBwYXJhbXNfNCwgaW5jX3dhcm11cCA9IFRSVUUpCmBgYAoKIyMjIDQuIENvZWZpY2llbnRlcwoKQ29lZmljaWVudGVzIGRlIGxhIHJlZ3Jlc2nDs24gbcO6bHRpcGxlOgoKCmBgYHtyfQpsaW5lYWxfbW9kZWxfNCRjb2VmZmljaWVudHMKYGBgCgpDb2VmaWNpZW50ZXMgZGVzY3ViaWVydG9zIHBvciBsYSByZWdyZXNpw7NuIG3Dumx0aXBsZSBiYXllc2lhbmE6CgpgYGB7cn0KZm9yKHBhcmFtIGluIHBhcmFtc180KSBwcmludChnZXRfcG9zdGVyaW9yX21lYW4oYmF5ZXNpb25fbW9kZWxfNCwgcGFyPXBhcmFtKVs0XSkKYGBgCgoKIyMjIDUuIFZhbGlkYWNpw7NuCgoKYGBge3J9CnZhcnNfNCA8LSBjKCdiaWxsX2xlbmd0aF9tbScsICdiaWxsX2RlcHRoX21tJywgJ2ZsaXBwZXJfbGVuZ3RoX21tJykgCgpsbV92c19icl9tb2RlbHNfdmFsaWRhdGlvbihsaW5lYWxfbW9kZWxfNCwgYmF5ZXNpb25fbW9kZWxfNCwgcGFyYW1zXzQsIHZhcnNfNCwgdGVzdF9zZXQpCmBgYAoKYGBge3IgZmlnLmFsaWduPSdjZW50ZXInLCBmaWcuaGVpZ2h0PTMsIGZpZy53aWR0aD01LCBtZXNzYWdlPUZBTFNFLCB3YXJuaW5nPUZBTFNFLCBmaWcuYWxpZ249J2NlbnRlcid9CmJheWVzaW9uX3ByZWRpY3Rvcl80IDwtIEJheWVzaWFuUmVncmVzc2lvblByZWRpY3Rvci5mcm9tKGJheWVzaW9uX21vZGVsXzQsIHBhcmFtc180LCB2YXJzXzQpCgpwbG90X2NvbXBhcmVfZml0KAogIGxpbmVhbF9tb2RlbF80LAogIGJheWVzaW9uX3ByZWRpY3Rvcl80LCAKICB0cmFpbl9zZXQsCiAgbGFiZWxfMT0nUmVncmVzaW9uIExpbmVhbCcsIAogIGxhYmVsXzI9J1JlZ3Jlc2lvbiBCYXllc2lhbmEnCikKYGBgCgoKIyMgRXhwZXJpbWVudG8gNQoKKiBJZ3VhbCBhbCBleHBlcmltZW50byAxIHBlcm8gcHJvcG9uaWVuZG8gZG9zIG51ZXZhcyByZWdyZXNpb25lcyBiYXllc2lhbmFzIGNvbiBwcmlvcnMgcGFyYSBsb3MgcGFyw6FtZXRyb3MgcXVlIHNlYW46CiAgKiBVbmEgcG9jYSBpbmZvcm1hdGl2YSAodW5pZm9ybWUpLgogICogVW5hIG11eSBpbmZvcm1hdGl2YSAoc2VzZ2FkYSBvIGNvbiBtdXkgcG9jYSB2YXJpYW56YSkuCiogQ29tcGFyYXIgY29uIHJlc3VsdGFkb3MgZGUgbGEgYmF5ZXNpYW5hIGRlbCBleHBlcmltZW50byBBCgojIyMgMS4gTW9kZWxvIGJheWVzaWFubyBjb24gcGFyYW1ldHJvIGNvbiBkaXN0cmlidWNpb24gcG9jbyBpbmZvcm1hdGl2YQoKIyMjIyAxLiBNb2RlbG8KCkRlZmluaW1vcyB1bmEgW2Rpc3RyaWJ1Y2nDs24gdW5pZm9ybWVdKGh0dHBzOi8vbWMtc3Rhbi5vcmcvZG9jcy8yXzIxL2Z1bmN0aW9ucy1yZWZlcmVuY2UvdW5pZm9ybS1kaXN0cmlidXRpb24uaHRtbCkgcGFyYSBlbCBiZXRhIGFzb2NpYWRvIGEgbGEgdmFyaWFibGUgKipmbGlwcGVyX2xlbmd0aF9tbSoqLgoKYGBge3IgZmlnLmFsaWduPSdjZW50ZXInLCBmaWcuaGVpZ2h0PTQsIGZpZy53aWR0aD04LCBtZXNzYWdlPUZBTFNFLCB3YXJuaW5nPUZBTFNFLCBmaWcuYWxpZ249J2NlbnRlcicsIGVjaG89RkFMU0V9CmJheWVzaW9uX21vZGVsXzUgPC0gc3RhbigKICBtb2RlbF9jb2RlID0gICIKICAgIGRhdGEgewogICAgICBpbnQ8bG93ZXI9MT4gICAgICAgICAgICAgICBvYnNfY291bnQ7CiAgICAgIHZlY3Rvcjxsb3dlcj0xPltvYnNfY291bnRdIHgxOwogICAgICB2ZWN0b3I8bG93ZXI9MT5bb2JzX2NvdW50XSB4MjsKICAgICAgdmVjdG9yPGxvd2VyPTE+W29ic19jb3VudF0geDM7CiAgICAgIHZlY3RvcltvYnNfY291bnRdICAgICAgICAgIHk7CiAgICB9CiAgICBwYXJhbWV0ZXJzIHsKICAgICAgcmVhbCAgICAgICAgICBiZXRhMDsKICAgICAgcmVhbCAgICAgICAgICBiZXRhMTsKICAgICAgcmVhbCAgICAgICAgICBiZXRhMjsKICAgICAgcmVhbCAgICAgICAgICBiZXRhMzsKICAgICAgcmVhbDxsb3dlcj0wPiBzaWdtYTsKICAgIH0KICAgIG1vZGVsIHsKICAgICAgLy8gRGlzdHJpYnVjaW9uZXMgYSBwcmlvcmkKICAgICAgYmV0YTAgfiBub3JtYWwoMCwgODAwMCk7IC8vIEludGVyY2VwdAogICAgICBiZXRhMSB+IG5vcm1hbCgwLCAxMDApOwogICAgICBiZXRhMiB+IG5vcm1hbCgwLCAxMDApOwogICAgICBiZXRhMyB+IGV4cG9uZW50aWFsKDAuMSk7CiAgICAgIHNpZ21hIH4gZXhwb25lbnRpYWwoMC41KTsKICAKICAgICAgLy8gTGlrZWxpaG9vZAogICAgICB5IH4gbm9ybWFsKGJldGEwICsgYmV0YTEgKiB4MSArIGJldGEyICogeDIgKyBiZXRhMyAqIHgzLCBzaWdtYSk7CiAgICB9CiAgIiwKICBkYXRhID0gbGlzdCgKICAgICAgb2JzX2NvdW50ID0gbnJvdyh0cmFpbl9zZXQpLAogICAgICB5ICA9IGNvbHZhbHVlcyh0cmFpbl9zZXQsICdib2R5X21hc3NfZycpLAogICAgICB4MSA9IGNvbHZhbHVlcyh0cmFpbl9zZXQsICdiaWxsX2xlbmd0aF9tbScpLAogICAgICB4MiA9IGNvbHZhbHVlcyh0cmFpbl9zZXQsICdiaWxsX2RlcHRoX21tJyksCiAgICAgIHgzID0gY29sdmFsdWVzKHRyYWluX3NldCwgJ2ZsaXBwZXJfbGVuZ3RoX21tJykKICApLAogIGNoYWlucyA9IDMsCiAgaXRlciAgID0gMTAwMCwKICB3YXJtdXAgPSAxODAsCiAgdGhpbiAgID0gMQopCgpwYXJhbXNfNSA8LSBjKCdiZXRhMCcsICdiZXRhMScsICdiZXRhMicsICdiZXRhMycsICdzaWdtYScpCnRyYWNlcGxvdChiYXllc2lvbl9tb2RlbF81LCBwYXJzID0gcGFyYW1zXzUsIGluY193YXJtdXAgPSBUUlVFKQpgYGAKCgojIyMjIDIuIENvZWZpY2llbnRlcwoKCmBgYHtyfQpicl92c19icl9jb2VmaWNpZW50cyhiYXllc2lvbl9tb2RlbF8xLCBiYXllc2lvbl9tb2RlbF81LCBwYXJhbXNfNSkKYGBgCgoKIyMjIyAzLiBWYWxpZGFjacOzbgoKYGBge3J9CmxtX3ZzX2JyX21vZGVsc192YWxpZGF0aW9uKGxpbmVhbF9tb2RlbF8xLCBiYXllc2lvbl9tb2RlbF8xLCBwYXJhbXNfMSwgdmFyc18xLCB0ZXN0X3NldCkKYGBgCiMjIyMgNC4gVmFsaWRhY2lvbgoKYGBge3J9CnZhcnNfNSA8LSBjKCdiaWxsX2xlbmd0aF9tbScsICdiaWxsX2RlcHRoX21tJywgJ2ZsaXBwZXJfbGVuZ3RoX21tJykgCgpsbV92c19icl9tb2RlbHNfdmFsaWRhdGlvbihsaW5lYWxfbW9kZWxfMSwgYmF5ZXNpb25fbW9kZWxfNSwgcGFyYW1zXzUsIHZhcnNfNSwgdGVzdF9zZXQpCmBgYAoKYGBge3IgZmlnLmFsaWduPSdjZW50ZXInLCBmaWcuaGVpZ2h0PTMsIGZpZy53aWR0aD0xMCwgbWVzc2FnZT1GQUxTRSwgd2FybmluZz1GQUxTRSwgZmlnLmFsaWduPSdjZW50ZXInfQpiYXllc2lvbl9wcmVkaWN0b3JfNSA8LSBCYXllc2lhblJlZ3Jlc3Npb25QcmVkaWN0b3IuZnJvbShiYXllc2lvbl9tb2RlbF81LCBwYXJhbXNfNSwgdmFyc181KQoKcGxvdF9jb21wYXJlX2ZpdCgKICBiYXllc2lvbl9wcmVkaWN0b3JfMSwKICBiYXllc2lvbl9wcmVkaWN0b3JfNSwKICB0cmFpbl9zZXQsCiAgbGFiZWxfMT0nUmVncmVzaW9uIEJheWVzaWFuYSBjb24gZGlzdCBpbmZvcm1hdGl2YScsIAogIGxhYmVsXzI9J1JlZ3Jlc2lvbiBCYXllc2lhbmEgY29uIGRpc3QgbWVub3MgaW5mb3JtYXRpdmEnCikKYGBgCgojIyMgMi4gTW9kZWxvIGJheWVzaWFubyBjb24gcGFyYW1ldHJvIGNvbiBkaXN0cmlidWNpb24gbXV5IGluZm9ybWF0aXZhIHNlc2dhZGEgbyBjb24gcG9jYSB2YXJpYW56YQoKQ09NUExFVEFSCgoKCiMjIFJlZmVyZW5jaWFzCgoqIFtNYWtpbmcgUHJlZGljdGlvbnMgZnJvbSBTdGFuIG1vZGVscyBpbiBSXShodHRwczovL21lZGl1bS5jb20vQGFsZXgucGF2bGFraXMvbWFraW5nLXByZWRpY3Rpb25zLWZyb20tc3Rhbi1tb2RlbHMtaW4tci0zZTM0OWRmYWMxZWQpCiogW0hvdyB0byByZXByZXNlbnQgYSBjYXRlZ29yaWNhbCBwcmVkaWN0b3IgcnN0YW4/XShodHRwczovL3N0YWNrb3ZlcmZsb3cuY29tL3F1ZXN0aW9ucy8yOTE4MzU3Ny9ob3ctdG8tcmVwcmVzZW50LWEtY2F0ZWdvcmljYWwtcHJlZGljdG9yLXJzdGFuKQoqIFtSIGNvbW1vbnNdKGh0dHBzOi8vZ2l0aHViLmNvbS9hZHJpYW5tYXJpbm8vY29tbW9ucykKCg==